package stubGenerator;

import java.lang.reflect.*;
//start extract History
public interface History {

    long recordMethodCall(Proxy p, Method m, Object[] args);
    void recordReturnValue(long callID, Object returnValue);
    void recordException(long callID, Throwable cause);

}
//stop extract History
